Weak Inclusion Systems
نویسندگان
چکیده
We deene weak inclusion systems as a natural extension of inclusion systems. We prove that several properties of factorisation systems and inclusion systems remain valid under this extension and we obtain new properties as algebraic tools in abstract model theory.
منابع مشابه
Inclusion problems for one-counter systems
We study the decidability and complexity of verification problems for infinite-state systems. A fundamental question in formal verification is if the behaviour of one process is reproducible by another. This inclusion problem can be studied for various models of computation and behavioural preorders. It is generally intractable or even undecidable already for very limited computational models. ...
متن کاملFUZZY INCLUSION LINEAR SYSTEMS
In this manuscript, we introduce a new class of fuzzy problems, namely ``fuzzy inclusion linear systems" and propose a fuzzy solution set for it. Then, we present a theoretical discussion about the relationship between the fuzzy solution set of a fuzzy inclusion linear system and the algebraic solution of a fuzzy linear system. New necessary and sufficient conditions are derived for obtain...
متن کاملStabilization of Nonlinear Systems using Weak-Control-Lyapunov Functions
This paper proposes a recursive method of constructing weak-control-Lyapunov functions for nonlinear systems. Lyapunov function is one of effective tools to study stability and stabilization in nonlinear system control design. However, a general way of finding Lyapunov functions has not been known yet. Our method is introduced by an explicit topological-geometric assumption for a state space ma...
متن کاملOn Weak Solution of a Hyperbolic Differential Inclusion with Nonmonotone Discontinuous Nonlinear Term
In this paper, a hyperbolic differential inclusion with nonmonotone discontinuous and nonlinear term, which the generalized velocity acts as its variable, is studied and the existence and decay of its weak solution are obtained.
متن کاملOn the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance*
Many techniques for verifying invariance properties are limited to systems of moderate size. In this paper, we propose an approach based on assume-guarantee contracts and compositional reasoning for verifying invariance properties of a broad class of discrete-time and continuous-time systems consisting of interconnected components. The notion of assumeguarantee contracts makes it possible to di...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 7 شماره
صفحات -
تاریخ انتشار 1997